Symbolic compositional verification by learning assumptions

机译：通过学习假设进行符号成分验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rajeev Alur; P. Madhusudan; Wonhong Nam;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic symbolic compositional verification by learning assumptions [J] . Wonhong Nam, P. Madhusudan, Rajeev Alur Formal Methods in System Design . 2008,第3期

机译：通过学习假设自动进行符号组成验证
2. Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [J] . FEI HE, XIAOWEI GAO, MIAOFEI WANG, ACM transactions on software engineering and methodology . 2016,第3期

机译：学习加权假设以进行马尔可夫决策过程的组成验证
3. Automated assumption generation for compositional verification [J] . Anubhav Gupta, K.L. McMillan, Zhaohui Fu Formal Methods in System Design . 2008,第3期

机译：自动生成假设以进行成分验证
4. Symbolic Compositional Verification by Learning Assumptions [C] . Rajeev Alur, P. Madhusudan, Wonhong Nam International Conference on Computer Aided Verification(CAV 2005); 20050706-10; Edinburgh(GB) . 2005

机译：通过学习假设进行符号组成验证
5. Symbolic asynchronous hardware protocol verification for compositions with relative timing. [D] . Desai, Krishnaji. 2010

机译：具有相对定时的合成的符号异步硬件协议验证。
6. The Impact of Symbolic and Non-Symbolic Quantity on Spatial Learning [O] . Koleen McCrink, Jennifer Galamba -1

机译：符号和非符号量对空间学习的影响
7. Symbolic Compositional Verification by Learning Assumptions [O] . Alur, Rajeev, Madhusudan, P., Nam, Wonhong 2005

机译：通过学习假设进行符号组成验证
8. Learning Assumptions for Compositional Verification [R] . Cobleigh, J. M. , Giannakopoulou, D. , Pasareanu, C. 2002

机译：学习假设的组成验证

Symbolic compositional verification by learning assumptions

著录项

引文网络

相似文献

相关主题

期刊订阅